____ _ _ _ _
| _ \ ___ | |_ (_) _ __ ___ __| | (_) __ _
| |_) | / _ \ | __| | | | '_ \ / _ \ / _| | | | / _ |
| _ < | __/ | |_ | | | |_) | | __/ | (_| | | | | (_| |
|_| \_\ \___| \__| |_| | .__/ \___| \__,_| |_| \__,_|
|_|
- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b
Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―
Hilbert-Samuel-Polynom
ββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
top
Das Hilbert-Samuel-Polynom ist ein Begriff aus den mathematischen Teilgebieten der kommutativen Algebra und der algebraischen Geometrie. Es wird dort in der Dimensionstheorie und in der Berechnung der Schnittpunkte gebraucht. WΓ€hrend der Grad fΓΌr die Dimensionstheorie wichtig ist, spielen die Koeffizienten fΓΌr die Schnitttheorie der algebraischen Geometrie eine Rolle. Benannt wurde es nach David Hilbert und Pierre Samuel.
Dieser Artikel beschΓ€ftigt sich mit kommutativer Algebra. Insbesondere sind alle betrachteten Ringe kommutativ und haben ein Einselement. Ringhomomorphismen bilden Einselemente auf Einselemente ab. FΓΌr weitere Details siehe Kommutative Algebra.
Contents
β’ Definitionen
β’ Literatur
ββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
Definitionen
Es sei
R = β¨ β¨ n β β N R n {\displaystyle R=\bigoplus _{n\in \mathbb {N} }R_{n}}
ein graduierter Ring mit folgenden Eigenschaften:
1. R 0 {\displaystyle R_{0}} ist ein R 0 {\displaystyle R_{0}} -Modul von endlicher LΓ€nge
2. R {\displaystyle R} wird als Ring von R 0 {\displaystyle R_{0}} und endlich vielen Elementen a 1 , β¦ β¦ , a r {\displaystyle a_{1},\dots ,a_{r}} erzeugt.
3. M {\displaystyle M} sei ein graduierter endlicher R {\displaystyle R} -Modul.
Dann wird die Funktion
f : : N β β N {\displaystyle f\colon \mathbb {N} \to \mathbb {N} }
f : : n β¦ β¦ l R 0 ( β¨ β¨ i = 0 n β β 1 M i ) {\displaystyle f\colon n\mapsto l_{R_{0}}\left(\bigoplus _{i=0}^{n-1}M_{i}\right)}
Hilbert-Samuel-Funktion genannt
Unter den Voraussetzungen der Definition (und mit diesen Bezeichnungen) gilt folgender Satz:
β’ FΓΌr groΓe n {\displaystyle n} ist die Hilbert-Samuel-Funktion ein Polynom P [ X ] {\displaystyle P[X]} aus Q [ X ] {\displaystyle \mathbb {Q} [X]} . Es ist g r a d ( P [ X ] ) β€ β€ r {\displaystyle grad(P[X])\leq r} und der hΓΆchste Koeffizient von P [ X ] {\displaystyle P[X]} ist positiv.
Das bedeutet, dass es ein : P [ X ] β β Q [ X ] {\displaystyle P[X]\in \mathbb {Q} [X]} und ein : k β β N {\displaystyle :k\in \mathbb {N} } gibt, sodass fΓΌr alle n > k {\displaystyle n>k} gilt:
f ( n ) = P ( n ) {\displaystyle f(n)=P(n)}
Dieses Polynom heiΓt das Hilbert-Samuel-Polynom.
Dimensionstheorie
Ist A {\displaystyle A} ein lokaler Ring mit maximalem Ideal m {\displaystyle m} , und
g r m ( A ) := β¨ β¨ n β β N m n / m n + 1 {\displaystyle \mathrm {gr} _{m}(A):=\bigoplus _{n\in \mathbb {N} }m^{n}/m^{n+1}}
der graduierte Ring zu diesem Ideal. Dann gilt fΓΌr den Grad des Hilbertpolynoms P m ( g r m ( A ) ) {\displaystyle \mathrm {P} _{m}(\mathrm {gr} _{m}(A))} dieses Ringes (betrachtet als Modul ΓΌber sich selbst):
g r a d ( P m ( g r m ( A ) ) ) = d i m ( A ) {\displaystyle \mathrm {grad} (\mathrm {P} _{m}(\mathrm {gr} _{m}(A)))=\mathrm {dim} (A)}
( d i m ( A ) {\displaystyle \mathrm {dim} (A)} ist die Krulldimension des Ringes)
Literatur
β’ BrΓΌske, Ischebeck, Vogel: Kommutative Algebra, Bibliographisches Institut (1989), ISBN 978-3-411-14041-1
β’ Robin Hartshorne: Algebraic Geometry, Springer-Verlag, New York/Berlin/Heidelberg 1977, ISBN 3-540-90244-9